Universes in explicit mathematics
نویسندگان
چکیده
This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman’s T0.
منابع مشابه
The Quantiication Operator in Explicit Mathematics with Universes and Iterated Xed Point Theories with Ordinals
This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantiication operator ; 2. iterated xed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with nitely many universes.
متن کاملROUGH SET OVER DUAL-UNIVERSES IN FUZZY APPROXIMATION SPACE
To tackle the problem with inexact, uncertainty and vague knowl- edge, constructive method is utilized to formulate lower and upper approx- imation sets. Rough set model over dual-universes in fuzzy approximation space is constructed. In this paper, we introduce the concept of rough set over dual-universes in fuzzy approximation space by means of cut set. Then, we discuss properties of rough se...
متن کاملMulti-granulation fuzzy probabilistic rough sets and their corresponding three-way decisions over two universes
This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...
متن کاملParallel Universes: Multi-Criteria Optimization
In this paper parallel universes are defined by their relation to multi-criteria optimization combined with an explicit or implicit link for the unambiguous identification of an optimum. As an explicit link function the desirability index is introduced. Desirabilities are also used for restricting the Pareto set to desired parts.
متن کاملDistinguishing marks of simply-connected universes
A statistical quantity suitable for distinguishing simply-connected RobertsonWalker (RW) universes is introduced, and its explicit expressions for the three possible classes of simply-connected RW universes with an uniform distribution of matter are determined. Graphs of the distinguishing mark for each class of RW universes are presented and analyzed. There sprout from our results an improveme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 109 شماره
صفحات -
تاریخ انتشار 2001